home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL03.PRO < prev    next >
Text File  |  1986-10-07  |  259b  |  18 lines
  1. /* Program 3 */
  2. /*
  3.   The goal to enter is on page 24 of the manual.
  4. */
  5.  
  6. domains
  7.     child = symbol
  8.     age   = integer
  9.  
  10. predicates
  11.     pupil(child,age)
  12.  
  13. clauses
  14.     pupil(peter,9).
  15.     pupil(paul,10).
  16.     pupil(chris,9).
  17.     pupil(susan,9).
  18.